Sfoglia per Serie LECTURE NOTES IN COMPUTER SCIENCE
qPCF: A language for quantum circuit computations
2017-01-01 Luca Paolini; Margherita Zorzi
Qualitative analysis of VASS-induced MDPs
2016-01-01 Abdulla, Parosh Aziz; Ciobanu, Radu; Mayr, Richard; Sangnier, Arnaud; Sproston, Jeremy
Query Rewriting in Itemset Mining
2004-01-01 R. MEO; M. BOTTA; R. ESPOSITO
Ramsey Theorem as an Intuitionistic Property of Well Founded Relations
2014-01-01 S. Berardi; S. Steila
Rank-2 Intersection and Polymorphic Recursion
2005-01-01 F. DAMIANI
Reasoning about communicating agents in the semantic web
2003-01-01 M. BALDONI; C. BAROGLIO; L. GIORDANO; A. MARTELLI; V. PATTI
Reasoning about Complex Actions with Incomplete Knowledge: A Modal Approach
2001-01-01 M. Baldoni; L. Giordano; A. Martelli; V. Patti
Reasoning about Multiple Aspects in Rational Closure for DLs.
2016-01-01 Gliozzi, V.
Reasoning about self and others: communicating agents in a modal action logic
2003-01-01 M. BALDONI; C. BAROGLIO; A. MARTELLI; V. PATTI
Reasoning-based Curriculum Sequencing and Validation: integration in a Service-Oriented Architecture
2007-01-01 M. BALDONI; C. BAROGLIO; I. BRUNKHORST; E. MARENGO; V. PATTI
Recommending Multimedia Objects in Cultural Heritage Applications
2013-01-01 I. Bartolini; V. Moscato; R.G. Pensa; A. Penta; A. Picariello; C. Sansone; M.L. Sapino
Refactoring delta-oriented product lines to enforce guidelines for efficient type-checking
2016-01-01 Damiani, Ferruccio; Lienhardt, Michael
Refined Effects for Unanticipated Object Re-classification: Fickle3
2003-01-01 F. DAMIANI; SOPHIA DROSSOPOULOU; PAOLA GIANNINI
Refined Strategies for Semantic Unification
1987-01-01 P. G. Bosco; E. Giovannetti; C. Moiso
Refinement Types for Program Analysis
1996-01-01 M. COPPO; DAMIANI F.; GIANNINI P.
Relationships Meet their Roles in Object Oriented Programming
2007-01-01 M. BALDONI; G. BOELLA; L. VAN DER TORRE
A Reputation System for Multirole Sessions
2012-01-01 Viviana Bono; Sara Capecchi; Ilaria Castellani; Mariangiola Dezani
Resilient distributed collection through information speed thresholds
2020-01-01 Audrito G.; Bergamini S.; Damiani F.; Viroli M.
Resources for Comparative Analysis of IDN Authoring Tools
2022-01-01 Shibolet, Y; Lombardo, V
RISC-V-based Platforms for HPC: Analyzing Non-functional Properties for Future HPC and Big-Data Clusters
2023-01-01 William Fornaciari, Federico Reghenzani, Federico Terraneo, Davide Baroffio, Cecilia Metra, Martin Omana, Josie E. Rodriguez Condia, Matteo Sonza Reorda, Robert Birke, Iacopo Colonnelli, Gianluca Mittone, Marco Aldinucci, Gabriele Mencagli, Francesco Iannone, Filippo Palombi, Giuseppe Zummo, and Daniele Cesarini, Federico Tesser
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
qPCF: A language for quantum circuit computations | 2017 | Luca Paolini; Margherita Zorzi | |
Qualitative analysis of VASS-induced MDPs | 2016 | Abdulla, Parosh Aziz; Ciobanu, Radu; Mayr, Richard; Sangnier, Arnaud; Sproston, Jeremy | |
Query Rewriting in Itemset Mining | 2004 | R. MEO; M. BOTTA; R. ESPOSITO | |
Ramsey Theorem as an Intuitionistic Property of Well Founded Relations | 2014 | S. Berardi; S. Steila | |
Rank-2 Intersection and Polymorphic Recursion | 2005 | F. DAMIANI | |
Reasoning about communicating agents in the semantic web | 2003 | M. BALDONI; C. BAROGLIO; L. GIORDANO; A. MARTELLI; V. PATTI | |
Reasoning about Complex Actions with Incomplete Knowledge: A Modal Approach | 2001 | M. Baldoni; L. Giordano; A. Martelli; V. Patti | |
Reasoning about Multiple Aspects in Rational Closure for DLs. | 2016 | Gliozzi, V. | |
Reasoning about self and others: communicating agents in a modal action logic | 2003 | M. BALDONI; C. BAROGLIO; A. MARTELLI; V. PATTI | |
Reasoning-based Curriculum Sequencing and Validation: integration in a Service-Oriented Architecture | 2007 | M. BALDONI; C. BAROGLIO; I. BRUNKHORST; E. MARENGO; V. PATTI | |
Recommending Multimedia Objects in Cultural Heritage Applications | 2013 | I. Bartolini; V. Moscato; R.G. Pensa; A. Penta; A. Picariello; C. Sansone; M.L. Sapino | |
Refactoring delta-oriented product lines to enforce guidelines for efficient type-checking | 2016 | Damiani, Ferruccio; Lienhardt, Michael | |
Refined Effects for Unanticipated Object Re-classification: Fickle3 | 2003 | F. DAMIANI; SOPHIA DROSSOPOULOU; PAOLA GIANNINI | |
Refined Strategies for Semantic Unification | 1987 | P. G. Bosco; E. Giovannetti; C. Moiso | |
Refinement Types for Program Analysis | 1996 | M. COPPO; DAMIANI F.; GIANNINI P. | |
Relationships Meet their Roles in Object Oriented Programming | 2007 | M. BALDONI; G. BOELLA; L. VAN DER TORRE | |
A Reputation System for Multirole Sessions | 2012 | Viviana Bono; Sara Capecchi; Ilaria Castellani; Mariangiola Dezani | |
Resilient distributed collection through information speed thresholds | 2020 | Audrito G.; Bergamini S.; Damiani F.; Viroli M. | |
Resources for Comparative Analysis of IDN Authoring Tools | 2022 | Shibolet, Y; Lombardo, V | |
RISC-V-based Platforms for HPC: Analyzing Non-functional Properties for Future HPC and Big-Data Clusters | 2023 | William Fornaciari, Federico Reghenzani, Federico Terraneo, Davide Baroffio, Cecilia Metra, Martin Omana, Josie E. Rodriguez Condia, Matteo Sonza Reorda, Robert Birke, Iacopo Colonnelli, Gianluca Mittone, Marco Aldinucci, Gabriele Mencagli, Francesco Iannone, Filippo Palombi, Giuseppe Zummo, and Daniele Cesarini, Federico Tesser |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile